$\forall$$r$:Rng, $a$, $b$, $c$:$\mid$$r$$\mid$. ($a$ $\ast$ ($b$ $\ast$ $c$)) = (($a$ $\ast$ $b$) $\ast$ $c$) $\in$ $\mid$$r$$\mid$